General presentation

Polsarpro V4.0 a General Presentation

General Presentation 05021 Summary -mathematics, Algorithms, Proofs

This workshop was the third MAP meeting, a continuation of the seminar ”Verification and constructive algebra” held in Dagstuhl from 6 to 10 January 2003. The goal of these meetings is to bring together people from the communities of formal proofs, constructive mathematics and computer algebra (in a wide meaning). The special emphasis of the present meeting was on the constructive mathematics a...

Presentation of primary hyperparathyroidism to a general medical unit.

Four patients with hyperparathyroidism who presented in atypical or uncommon ways to a general medical unit are described. The unusual features are discussed and the value of modern procedures for localization of a parathyroid tumour is confirmed.

Description of the general reference scenario and presentation of metadata

This report is aimed at the definition of the metrics of data quality based on processes and at the definition of metadata on which a certificate can be produced to certify the quality of data. In particular, data quality dimensions are classified into four categories: subject dimensions, object dimensions, process dimensions, and architectural dimensions. For each dimensions the metadata invol...

Persistent presentation of medically unexplained symptoms in general practice.

OBJECTIVES To estimate the prevalence of persistent presentation of medically unexplained physical symptoms (MUPS) in general practice. To assess socio-demographic characteristics, health status and use of health services of patients who frequently present MUPS, compared with reference groups. DESIGN One-year, nationwide, representative survey of morbidity in general practice in The Netherlan...